Formal and modelling frameworks for Social Holonic Control Architectures

نویسندگان

چکیده

For decades now, manufacturing systems have grown in size and complexity. Between new consumption habits hypercompetitive markets, started a race towards the industry of future. Still, many technological societal issues are paving their way: connectivity, resilience human integration being among most critical ones. The idea this paper is to bring framework help answering these by bringing systems, improving interoperability, enhancing Data acquisition, transmission & processing, enabling establishment hierarchical levels agents, or facilitating system acceptance agents within system. To end, article brings formal for Social Holonic Control Architectures, based on an analysis existing literature. An UML-based modelling will equally be proposed ease understanding implementation Architecture, illustrated concrete application small-scale Multi-Agent System.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal frameworks for workflow modelling

We survey formal frameworks for workflow modelling. We summarise important aspects of workflow management and approaches to evaluate current workflow management systems. We discuss a number of formalisms for workflow modelling, namely Petri nets, Temporal Logic, and Transaction Logic. We decribe how these formalisms are used specifically for workflow modelling, their possibilities and their dis...

متن کامل

A formal validation approach for holonic control system specifications

The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal valid...

متن کامل

Electrical Architectures for Hybrid Vehicles: Implications for Modelling and Control

Contained within this paper is a discussion into the modelling and control of the electrical architecture for a HEV. Two configurations of electrical architecture are discussed; a system in which the bus voltage is allowed to vary during vehicle acceleration and regenerative braking and secondly, a fixed bus voltage system in which the voltage is held constant by the inclusion of a bi-direction...

متن کامل

Rationales for Holonic Manufacturing Control

This paper is concerned with providing a clear business basis for the emerging research field of holonic manufacturing systems. The holonic approach is to develop highly flexible manufacturing operations from a set of readily reconfigurable building blocks, which are designed to integrate easily and collaborate dynamically with one another as production demand changes. The business basis is ass...

متن کامل

Local Model Architectures for Nonlinear Modelling and Control

Local Model Networks are learning systems which are able to model and control unknown nonlinear dynamic processes from their observed input-output behaviour. Simple, locally accurate models are used to represent a globally complex process. The framework supports the modelling process in real applications better than most artiicial neu-ral network architectures. This paper shows how their struct...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Computers in Industry

سال: 2021

ISSN: ['1872-6194', '0166-3615']

DOI: https://doi.org/10.1016/j.compind.2021.103521